#!/bin/bash

set -e

git fetch origin main:tags/nightly -f
git log --oneline -1 nightly
git push -f origin nightly
